package com.myz.rabbitmq.blueCup;

import java.util.*;
import java.text.SimpleDateFormat;

public class Topic_281 {
    public static void main(String[] args) {
        Scanner scan = new Scanner(System.in);
        long num = scan.nextLong();
//        num -= 8 * 60 * 60 * 1000;
        System.out.println(8 * 60 * 60 * 1000);
        Date date = new Date(num);
//        SimpleDateFormat res = new SimpleDateFormat("HH:mm:ss");//1618707600000
//        String str = res.format(date);
        System.out.println(date.toString());
        String str = date.toString().substring(11,19);
        System.out.println(str);
    }
}
